$\mathbb{Z}^{-\circ}$ $\in$ Type